Artículo
|
Formal foundations of object-oriented modeling notations :
|
Pons, Claudia Fabiana
|
(2000)
|
|
----------
|
Artículo
|
Formal specification of software model evolution using contracts :
|
Pons, Claudia Fabiana
|
(2005)
|
|
----------
|
Tesis
|
Formalización con metodologías MDD de una propuesta de framework enfocada a soluciones de procesamiento transaccional
|
Zbucki, Hernán
|
(2016)
|
|
----------
|
Artículo
|
Formalizing the model transformation using metamodeling techniques :
|
Neil, Carlos Gerardo
|
(2004)
|
|
----------
|
Programa de estudio
|
Fundamentos de Teoría de la Computación
|
Pons, Claudia Fabiana
|
(2018)
|
|
----------
|
Programa de estudio
|
Fundamentos de Teoría de la Computación
|
Pons, Claudia Fabiana
|
(2019)
|
|
----------
|
Tesis
|
Generación de micromundos para transformaciones de modelos:
|
Castro Manacero, María Noel
|
(2007)
|
Sala
|
----------
|
Artículo
|
Generalization relation in UML model elements :
|
Pons, Claudia Fabiana
|
(2002)
|
|
----------
|
Tesis
|
Herramienta para automatizar la transformación UML/OCL a Object-Z:
|
Becker, Valeria
|
(2006)
|
Sala
|
----------
|
Artículo
|
Herramientas CASE para la validación de modelos UML a través de invariantes OCL :
|
Pesce, Pablo
|
(2004)
|
|
----------
|